$\mid$$a$/$b$ {-} $p$/$q$$\mid$ $<$ 1/$m$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($m$ $\ast$ $\mid$($a$ $\ast$ $q$) {-} ($p$ $\ast$ $b$)$\mid$) $<$ ($b$ $\ast$ $q$)